Stichworte: formal networks